proof of partial correctness - İngilizce Eş Anlamlılar Sözlük